From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2h·
Discuss: Hacker News
🤝Distributed Consensus
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·11h
🔐Quantum Security
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·28m
🔐Quantum Security
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·3d
🌐DNS Security
How to actually use Model Context Protocol
seangoedecke.com·15h
⚡Proof Automation
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·1d
📡Bluetooth Archaeology
Building Production-Grade Network Telemetry: A gRPC Journey Into the Heart of Network Monitoring
dev.to·19h·
Discuss: DEV
📡Network Monitoring
Blog - Hey Signal! Great Encryption Needs Great Authentication
sequoia-pgp.org·1d
🎯NTLM Attacks
AI & Ransomware: Inside the Exfiltration Playbook
backblaze.com·25m
🔓Hacking
A Wide Reduction Trick (2022)
words.filippo.io·12h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·16h
🔓Password Cracking
Netbox MCP Server
rogerperkin.co.uk·6h
🐚Nordic Shell
Why 1Password hasn't released an MCP server
blog.1password.com·14h·
Discuss: Hacker News
🔌Interface Evolution
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·3h
🖥️Terminal Renaissance
Signed and stealing: uncovering new insights on Odyssey infostealer
jamf.com·1d
🔓Password Cracking
Go interfaces and json.Unmarshal
fbrs.io·20h
🔧Binary Parsers
Async BOFs – “Wake Me Up, Before You Go Go”
outflank.nl·1d
🔍eBPF
Issue 481
haskellweekly.news·3h
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Another critical vulnerability in Cisco's ISE
heise.de·6h
🔓Hacking